$\forall$$k$:$\mathbb{N}$, $X$:($\mathbb{N}\rightarrow\mathbb{Q}$), $y$, $z$:($\mathbb{Q}$ List).
\\[0ex]($k$ $\leq$ $\parallel$$y$$\parallel$)
\\[0ex]$\Rightarrow$ ($k$ $\leq$ $\parallel$$z$$\parallel$)
\\[0ex]$\Rightarrow$ ($\forall$$i$:\{0..$k$$^{-}$\}. $y$[$i$] = $z$[$i$] $\in$ $\mathbb{Q}$)
\\[0ex]$\Rightarrow$ (q{-}linear($k$;$j$.$X$($j$);$y$) = q{-}linear($k$;$j$.$X$($j$);$z$) $\in$ $\mathbb{Q}$)